Common Criteria Protection Profile "Multiple Independent Levels of Security: Operating System" [V2.03]

This Protection Profile ‘Multiple Independent Levels of Security: Operating System (MILS PP: Operating System)’ is issued by the EURO-MILS Consortium. This PP addresses only Operating System as part of a MILS final integrated system. This PP is intended to be part of a set of MILS PPs that should comprise, in the future, also other PPs regarding MILS architecture, like a PP addressing both underlying Hardware Platform and Operating System together and a PP for the entire integrated system. The TOE, as addressed in the current PP, does not include any hardware. If it is desired to certify a TOE also comprising hardware components, the related ST will include these hardware components as part of the TOE